Boolean Algebra - Factoring To Pos